function loadTxt() {
    document.getElementById("tab0").innerHTML = "POSTER";
    document.getElementById("tab1").innerHTML = "MPEG4 VIDEO";
    document.getElementById("tab2").innerHTML = "Ogg VIDEO";
    document.getElementById("tab3").innerHTML = "WebM VIDEO";
    document.getElementById("lbImage").innerHTML = "Poster/preview image (.png or .jpg):";
    document.getElementById("lblMP4").innerHTML = "MPEG4 video (.mp4):";
    document.getElementById("lblOgg").innerHTML = "Ogg video (.ogv):";
    document.getElementById("lblWebM").innerHTML = "WebM video (.webm):";
    document.getElementById("lblDimension").innerHTML = "Entrez la taille de la vidéo (Largeur x hauteur):";
    document.getElementById("divNote1").innerHTML = "Pour plus d'infos sur la vidéo HTML5 voir: <a href='http://www.w3schools.com/html5/html5_video.asp' target='_blank'>www.w3schools.com/html5/html5_video.asp</a>." +
        "Il ya 3 sources vidéo pris en charge: MP4, WebM (par exemple, pour MSIE 9 +), et Ogg (par exemple pour FireFox). Le navigateur utilise le premier format reconnu." +
        "En outre, vous aurez besoin d'un aperçu ou 'poster' image.";
    document.getElementById("divNote2").innerHTML = "Pour convertir une vidéo en HTML5 vidéo (MP4, WebM et Ogg), vous pouvez utiliser: <a href='http://www.mirovideoconverter.com/' target='_blank'>www.mirovideoconverter.com</a>";

    document.getElementById("btnCancel").value = "fermer";
    document.getElementById("btnInsert").value = "inséré";
}
function writeTitle() {
    document.write("<title>" + "HTML5 Video" + "</title>")
}